Search Results for "Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq"

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Computable Analysis and Exact Real Computation in Coq

Real Analysis Tutorial Lesson 9 - Extended Real Number System

Evgenii Kuznetcov – Introduction to Coq theorem prover (Berlin Software Verification Meetup #2)

Formal Verification of Scientific Computing Programs

Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

Mathieu Sozeau, The MetaCoq project

Generating Correct Code with Coq by Rob Dickerson

Louis Cole - Brad Mehldhau solo - Real life on BASS!!

2. Введение в Coq